Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
271	Frequency Domain Iterative Feedforward/Feedback Tuning for MIMO ANVC ⋆ Jian Luo a , Sandor M. Veres a , a School of Engineering Sciences, University of Southampton, Highfield, Southampton, SO17 1BJ United Kingdom Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2010-12-20 18:54:51 Joseph Fourier Operator theory Linear temporal logic Mathematical analysis Fourier analysis Fourier transform
272	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic
273	Minimax policies for adversarial and stochastic bandits S´ebastien Bubeck SequeL Project, INRIA Lille 40 avenue Halley, 59650 Villeneuve d’Ascq, France Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2011-06-28 04:17:04 Linear temporal logic Temporal logic Chebyshev function
274	A SOLUTION TO THE FOCUSING 3D NLS THAT BLOWS UP ON A CONTRACTING SPHERE JUSTIN HOLMER, GALINA PERELMAN, AND SVETLANA ROUDENKO Abstract. We rigorously construct radial H 1 solutions to the 3d cubic focusing NLS equation i Add to Reading List Source URL: www.math.brown.edu Language: English - Date: 2012-12-26 23:14:24 Linear temporal logic Temporal logic Spectral theory of ordinary differential equations
275	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
276	Symmetry, Integrability and Geometry: Methods and Applications SIGMA[removed]), 002, 18 pages Multicomponent Burgers and KP Hierarchies, and Solutions from a Matrix Linear System? Add to Reading List Source URL: www.emis.de Language: English - Date: 2009-01-28 09:20:37 Heat transfer Defining equation Linear algebra Physics Spectral theory of ordinary differential equations Linear temporal logic Mathematics Mathematical analysis Heat equation
277	A COMPUTATIONAL LEARNING SEMANTICS FOR INDUCTIVE EMPIRICAL KNOWLEDGE KEVIN T. KELLY Abstract. This paper presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a lear Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-02-22 15:09:02 Model theory Deduction Interpretation Philosophy of mind Entailment Modal logic Substitution Universal property Linear temporal logic Logic Propositional calculus Philosophical logic
278	Real Analysis Exchange Summer Symposium 2009, pp. 14–20 Laurent Moonens,∗ D´epartement de Math´ematique, Universit´e catholique de Louvain, chemin du Cyclotron, 2, B-1348 Louvain-la-Neuve, Belgium. email: laurent. Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2010-01-15 15:05:50 Spectral theory Differential geometry Operator theory Linear temporal logic Temporal logic Pullback Mathematical analysis Mathematics Theoretical physics
279	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]PRIORITIZED IMPERATIVES AND NORMATIVE CONFLICTS Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:28 Logic Metaphilosophy Differential geometry Differential topology Operator theory Linear temporal logic Mathematics Interpretation Model theory Metalogic Constructible universe
280	Compact Representation for Answer Sets of n-ary Regular Queries by Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-07-14 21:35:59 Model theory Functions and mappings Computability theory Structure FO Constructible universe Function Arity Linear temporal logic Mathematics Mathematical logic Universal algebra

UPDATE